搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Computational Aspects of General Equilibrium Theory [electronic resource] : Refutable Theories of Value 0 索取号：作者：Brown、 Donald.、Kubler、 Felix.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Electromagnetic Field Theory for Engineers and Physicists [electronic resource] 0 索取号：作者：Lehner、 G眉nther.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Type-2 Fuzzy Logic: Theory and Applications [electronic resource] 0 索取号：作者：Castillo、 Oscar.、Melin、 Patricia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Computational Mechanics [electronic resource] : Proceedings of 鈥淚nternational Symposium on Computational Mechanics鈥ʵly 30鈥揂ugust 1, 2007, Beijing, China 0 索取号：作者：Yao、 Z. H.、Yuan、 M. W.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Database Programming Languages [electronic resource] : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers 0 索取号：作者：Arenas、 Marcelo.、Schwartzbach、 Michael I.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings 0 索取号：作者：Paschke、 Adrian.、Biletskiy、 Yevgen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	The Econometrics of Panel Data [electronic resource] : Fundamentals and Recent Developments in Theory and Practice 0 索取号：作者：M谩ty谩s、 L谩szl贸.、Sevestre、 Patrick.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Computer Aided Systems Theory-EUROCAST 2007 [electronic resource] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers 0 索取号：作者：Moreno D铆az、 Roberto.、Pichler、 Franz.、Quesada Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Granular Dynamic Theory and Its Applications [electronic resource] 0 索取号：作者：Wu、 Aixiang.、Sun、 Yezhi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Analysis of Failure in Fiber Polymer Laminates [electronic resource] : The Theory of Alfred Puck 0 索取号：作者：Knops、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Landform - Structure, Evolution, Process Control [electronic resource] : Proceedings of the International Symposium on Landform organised by the Research Training Group 437 0 索取号：作者：Otto、 Jan-Christoph.、Dikau、 Richard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Hyperbolic Problems: Theory, Numerics, Applications [electronic resource] 0 索取号：作者：Benzoni-Gavage、 Sylvie.、Serre、 Denis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings 0 索取号：作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings 0 索取号：作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	The Practice of Econometric Theory [electronic resource] : An Examination of the Characteristics of Econometric Computation 0 索取号：作者：Renfro、 Charles G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.		Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings 0 索取号：作者：Mele、 Francesco.、Ramella、 Giuliana.、Santillo、 Silvia.、Ventriglia、 Francesco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

	Computational Aspects of General Equilibrium Theory [electronic resource] : Refutable Theories of Value 0 索取号：作者：Brown、 Donald.、Kubler、 Felix.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Electromagnetic Field Theory for Engineers and Physicists [electronic resource] 0 索取号：作者：Lehner、 G眉nther.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Type-2 Fuzzy Logic: Theory and Applications [electronic resource] 0 索取号：作者：Castillo、 Oscar.、Melin、 Patricia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Computational Mechanics [electronic resource] : Proceedings of 鈥淚nternational Symposium on Computational Mechanics鈥ʵly 30鈥揂ugust 1, 2007, Beijing, China 0 索取号：作者：Yao、 Z. H.、Yuan、 M. W.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Database Programming Languages [electronic resource] : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers 0 索取号：作者：Arenas、 Marcelo.、Schwartzbach、 Michael I.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings 0 索取号：作者：Paschke、 Adrian.、Biletskiy、 Yevgen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	The Econometrics of Panel Data [electronic resource] : Fundamentals and Recent Developments in Theory and Practice 0 索取号：作者：M谩ty谩s、 L谩szl贸.、Sevestre、 Patrick.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Computer Aided Systems Theory-EUROCAST 2007 [electronic resource] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers 0 索取号：作者：Moreno D铆az、 Roberto.、Pichler、 Franz.、Quesada Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Granular Dynamic Theory and Its Applications [electronic resource] 0 索取号：作者：Wu、 Aixiang.、Sun、 Yezhi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Analysis of Failure in Fiber Polymer Laminates [electronic resource] : The Theory of Alfred Puck 0 索取号：作者：Knops、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Landform - Structure, Evolution, Process Control [electronic resource] : Proceedings of the International Symposium on Landform organised by the Research Training Group 437 0 索取号：作者：Otto、 Jan-Christoph.、Dikau、 Richard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Hyperbolic Problems: Theory, Numerics, Applications [electronic resource] 0 索取号：作者：Benzoni-Gavage、 Sylvie.、Serre、 Denis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings 0 索取号：作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings 0 索取号：作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	The Practice of Econometric Theory [electronic resource] : An Examination of the Characteristics of Econometric Computation 0 索取号：作者：Renfro、 Charles G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.		Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings 0 索取号：作者：Mele、 Francesco.、Ramella、 Giuliana.、Santillo、 Silvia.、Ventriglia、 Francesco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.